1. $i$ : $\mathbb{Z}$
\\[0ex]2. $A$ : \{$i$ + 1$\ldots\,$\}$\rightarrow\mathbb{P}$
\\[0ex]3. $\forall$$j$:$\mathbb{Z}$. ($i$ $<$ $j$) $\Rightarrow$ $A$($j$)
\\[0ex]4. $j$ : \{$i$ + 1$\ldots\,$\}
\\[0ex]$\vdash$  $A$($j$)